Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
421	C:/My Files/york semigroup/spring 2012/vickyindepysnoaside.dvi Add to Reading List Source URL: www-users.york.ac.uk Language: English - Date: 2012-01-30 05:44:59 Algebra Abstract algebra Mathematics Non-associative algebras Lie algebras Lie groups Closure operator Order theory Universal algebra Constructible universe Algebra over a field Vertex operator algebra
422	J. Aust. Math. Soc), 355–377 doi:S1446788708000542 PARTIAL ACTIONS OF INVERSE AND WEAKLY LEFT E-AMPLE SEMIGROUPS VICTORIA GOULD and CHRISTOPHER HOLLINGS ˛ Add to Reading List Source URL: www-users.york.ac.uk Language: English - Date: 2009-08-17 03:33:00 Semigroup theory Algebraic structures Inverse semigroup Transformation semigroup Semigroup Inverse element Monoid Regular semigroup Nambooripad order Semigroup with involution Special classes of semigroups
423	Credit Event Auction Primer Add to Reading List Source URL: www.creditfixings.com Language: English - Date: 2014-10-14 14:26:29 Financial markets Auction theory Auctions Stock market Credit default swap United States housing bubble Auction Bond Order Derivative Futures contract Short
424	Translating Alloy specifications to the point-free style Nuno Macedo Departamento de Informática Universidade do Minho Braga, Portugal Add to Reading List Source URL: alfa.di.uminho.pt Language: English - Date: 2014-11-03 12:05:42 Logic Mathematical logic Mathematics Abstraction Model theory Relational model Alloy Z notation First-order logic Structure Finitary relation Relational
425	SEMLEP Feedback procedure At SEMLEP we are committed to providing a high quality service, at all times, to everyone we deal with. In order to do so, we need you to help us by letting us know when we get things wrong. We Add to Reading List Source URL: www.semlep.com Language: English - Date: 2015-03-31 09:56:31 Control theory Feedback
426	Policy Auditing over Incomplete Logs: Theory, Implementation and Applications Deepak Garg Limin Jia Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-02-12 12:31:57 Logic Mathematical logic Model theory Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol First-order logic Linear temporal logic FO
427	cecire crash courses for the desperate 1 \| queer theory get acquainted with queer theory in one week six things to read, in this order:1 Add to Reading List Source URL: natalia.cecire.org Language: English - Date: 2015-05-07 09:53:06
428	On properties of logical sentences with arbitrary monadic predicates 1 Nathana¨el Fijalkow and Charles Paperman LIAFA Universit´ e Paris Diderot Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:36:01 Formal languages FO Finite model theory Regular language Second-order logic Mathematical logic Linear temporal logic
429	constellations_revised11feb09.dvi Add to Reading List Source URL: www-users.york.ac.uk Language: English - Date: 2009-02-13 05:56:07 Algebra Abstract algebra Mathematics Semigroup theory Algebraic structures Inverse semigroup Semigroup Regular semigroup Inverse element Nambooripad order Null semigroup Semigroup with involution
430	Temporal Higher-Order Contracts Tim Disney Cormac Flanagan Jay McCarthy Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2016-02-18 16:47:50 Lambda calculus Combinatory logic Logic in computer science Computability theory Functions and mappings Formal methods Monad Derivative Trace

UPDATE